An Energy-Aware Synthesis Methodology for OS-Driven Multi-Process Embedded Software
نویسندگان
چکیده
The growing software content in various battery-driven embedded systems has led to significant interest in technologies for energy-efficient embedded software. While lowenergy software research has, in the past, focused on energy optimization at the instruction and source-code levels, approaches targeted at a higher software level are beginning to gain attention. In this work, we propose a methodology to refine a control-data flow diagram (CDFD) model of an embedded software program into an energy-efficient multi-process software architecture graph (SAG). Our starting representation, the CDFD, is capable of modeling data-dependent control flow. Energy efficiency is achieved by reducing the energy wastage due to context switches and inter-process communications (IPCs). Conditionally-unused computational operations, and their corresponding energy, are also avoided by a condition-aware static scheduler. Finally, code generation is performed from the energy-efficient SAG to produce a multi-process program that implements the original CDFD specification. Experimental results establish the efficacy of the proposed approach.
منابع مشابه
A simulation framework for energy-consumption analysis of OS-driven embedded applications
Energy consumption has become a major focus in the design of embedded systems (e.g., mobile computing and wireless communication devices). In particular, a shift of emphasis from hardware-oriented low-energy design techniques to energy-efficient embedded software design has occurred progressively in the past few years. To that end, various techniques have been developed for the design of energy...
متن کاملModeling and visualizing networked multi-core embedded software energy consumption
In this report we present a network-level multi-core energy model and a software development process workflow that allows software developers to estimate the energy consumption of multi-core embedded programs. This work focuses on a high performance, cache-less and timing predictable embedded processor architecture, XS1. Prior modelling work is improved to increase accuracy, then extended to be...
متن کاملAccurate energy characterization of OS services in embedded systems
As technology scales for increased circuit density and performance, the management of power consumption in embedded systems is becoming critical. Because the operating system (OS) is a basic component of the embedded system, the reduction and characterization of its energy consumption is a main challenge for the designers. In this work, a flow of low power OS energy characterization is introduc...
متن کاملA Correct-by-Construction MDE Approach for QoS-Aware Scheduling: From Models to Implementation
Meeting multiple Quality of Service (QoS) requirements is now an important factor for the success of complex software systems. This paper presents a correct-byconstruction, automated, model-driven scheduler synthesis approach for scheduling system tasks so as to meet multiple QoS requirements. As a first step, it shows how software engineers can meet deadlock-freedom and timeliness requirements...
متن کاملAn integrated multi-criteria decision-making methodology based on type-2 fuzzy sets for selection among energy alternatives in Turkey
Energy is a critical factor to obtain a sustainable development for countries and governments. Selection of the most appropriate energy alternative is a completely critical and a complex decision making problem. In this paper, an integrated multi-criteria decision-making (MCDM) methodology based on type-2 fuzzy sets is proposed for selection among energy alternatives. Then a roadmap has been cr...
متن کامل